es{-}interface{-}left($X$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\lambda$$x$.$x$ o $X$